Signatures for a Network Protocol Stack : A Systems Application of Standard ML Edoardo Biagioni

Standard ML Signatures for a Protocol Stack

This paper describes the design of a protocol stack implemented in Standard ML. Standard ML's signatures are a language construct which can be used to specify or constrain the interface of a module. The design includes both a generic signature which generalizes all the protocol modules, and individual signatures speci c to each protocol module. The speci c signatures all inherit from the generi...

A Network Protocol Stack in Standard ML

The FoxNet is an implementation of the standard TCP/IP networking protocol stack using the Standard ML (SML) language. SML is a type-safe programming language with garbage collection, a unique and advanced module system, and machineindependent semantics. The FoxNet is a user-space implementation of TCP/IP that is built in SML by composing modular protocol elements; each element independently im...

Implementing Software Architectures in Standard Ml Position Paper

Safe-for-Space Threads in Standard ML

Threads can easily be implemented using first-class continuations, but the straightforward approaches for doing so lead to space leaks, especially in a language with exceptions like Standard ML. We show how these space leaks arise and give a new implementation for threads that is safe for space.

MAGNeT: monitor for application-generated network traffic

Over the last decade, network practitioners have focused on monitoring, measuring, and characterizing traffic in the network to gain insight into building critical network components (from the protocol stack to routers and switches to network interface cards). Recent research shows that additional insight can be obtained by monitoring traffic at the application level (i.e., before application-s...